Common logic - PDFSEARCH.IO - Document Search Engine

Common logic
Results: 270

#	Item
51	RuleGrowth: Mining Sequential Rules Common to Several Sequences by Pattern-Growth Add to Reading List Source URL: www.philippe-fournier-viger.com Language: English - Date: 2012-07-13 15:11:09 Mathematical logic Mathematics Algorithm Information Data Exponentials Sequence mining GSP Algorithm Data mining Association rule learning Data management
52	Thinking and Language Abstract: The following theses about the relationship between language and thought can be found in both linguistical studies and analytical philosophy. The common view of modern philosophy tends to Add to Reading List Source URL: www.hyponoesis.org Language: English - Date: 2014-12-15 16:09:58 Thought Epistemology Belief Philosophical logic Theories of truth Reason Truth Idea Logic Philosophy Mind Cognition
53	Games and Economic Behavior–234 www.elsevier.com/locate/geb Admissibility and common belief Geir B. Asheim a,∗ and Martin Dufwenberg b a Department of Economics, University of Oslo, PO Box 1095 Blindern Add to Reading List Source URL: folk.uio.no Language: English - Date: 2003-05-14 08:00:11 Solution concept Strategic dominance Nash equilibrium Extensive-form game Rational choice theory Normal-form game Determinacy Modal logic Strategy Game theory Problem solving Logic
54	The hypothesis suggests that remaining disagreements should be expected ones Add to Reading List Source URL: mason.gmu.edu Language: English - Date: 2014-01-16 15:23:02 Science Bayesian probability Prior probability Rationality Common knowledge Bayesian statistics Philosophy Logic
55	SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTIFICIAL INTELLIGENCE John McCarthy and Patrick J. Hayes Computer Science Department Stanford University Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:21 Academia Branches of philosophy Formal sciences Alan Turing Interdisciplinary fields Intelligence Epistemology Logic Common sense Science Knowledge Philosophy of artificial intelligence
56	Recent Work in Epistemic Logic Logic Group Colloquium Wes Holliday Philosophy UC Berkeley Add to Reading List Source URL: philosophy.berkeley.edu Language: English - Date: 2013-03-02 13:45:39 Branches of philosophy Modal logic Analytic philosophers Game theory Artificial intelligence Epistemic modal logic Jaakko Hintikka Closure Common knowledge Logic Philosophy Science
57	AISB 2008 Convention Communication, Interaction and Social Intelligence 1st-4th April 2008 University of Aberdeen Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2008-03-16 16:15:52 Formal sciences Mathematical logic Abstraction Axiology Epistemic modal logic Common knowledge Temporal logic Game theory Logic Science Artificial intelligence
58	Fuzzy-probabilistic logic for common sense YKY (King-Yin Yan) Abstract. P(Z) logic offers a new way to reason about vagueness (ie fuzziness), that treats fuzziness as degrees, distinct from probabilities. One then applie Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:04:16 Fuzzy logic Artificial intelligence Non-classical logic Bayesian statistics Probability interpretations Probabilistic logic Inference Bayesian network Fuzzy set Logic Mathematical logic Science
59	Self-Reproducing Programs in Common Lisp Peter Norvig Computer Science Division, University of California Berkeley, CA 94720 Add to Reading List Source URL: www.norvig.com Language: English - Date: 2003-10-26 19:45:42 Lisp programming language Lambda calculus Functional languages Functional programming Lisp Eval Combinatory logic Scheme Lambda Software engineering Computing Computer programming
60	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming

UPDATE